BibTeX records: Auguste Poiroux

download as .bib file

@inproceedings{DBLP:conf/acl/Hernandez-CanoH26,
  author       = {Alejandro Hern{\'{a}}ndez{-}Cano and
                  Alexander H{\"{a}}gele and
                  Allen Hao Huang and
                  Angelika Romanou and
                  Antoni{-}Joan Solergibert i Llaquet and
                  Barna P{\'{a}}sztor and
                  Bettina Messmer and
                  Dhia Garbaya and
                  Eduard Frank Durech and
                  Ido Hakimi and
                  Juan Garcia Giraldo and
                  Mete Ismayilzada and
                  Negar Foroutan and
                  Skander Moalla and
                  Tiancheng Chen and
                  Vinko Sabolcec and
                  Yixuan Even Xu and
                  Michael Aerni and
                  Badr AlKhamissi and
                  Ines Altemir Marinas and
                  Mohammad Hossein Amani and
                  Matin Ansaripour and
                  Ilia Badanin and
                  Harold Benoit and
                  Emanuela Boros and
                  Nicholas John Browning and
                  Fabian B{\"{o}}sch and
                  Maximilian B{\"{o}}ther and
                  Niklas Canova and
                  Camille Challier and
                  Cl{\'{e}}ment Charmillot and
                  Jonathan Coles and
                  Jan Milan Deriu and
                  Arnout Devos and
                  Lukas Drescher and
                  Daniil Dzenhaliou and
                  Maud Ehrmann and
                  Dongyang Fan and
                  Simin Fan and
                  Silin Gao and
                  Miguel Gila and
                  Mar{\'{\i}}a Grandury and
                  Diba Hashemi and
                  Alexander Miserlis Hoyle and
                  Jiaming Jiang and
                  Mark Klein and
                  Andrei Kucharavy and
                  Anastasiia Kucherenko and
                  Frederike L{\"{u}}beck and
                  Roman Machacek and
                  Theofilos Ioannis Manitaras and
                  Andreas Marfurt and
                  Kyle Matoba and
                  Simon Matrenok and
                  Henrique Mendon{\c{c}}a and
                  Fawzi Roberto Mohamed and
                  Syrielle Montariol and
                  Luca Mouchel and
                  Sven Najem{-}Meyer and
                  Jingwei Ni and
                  Gennaro Oliva and
                  Matteo Pagliardini and
                  Elia Palme and
                  Andrei Panferov and
                  L{\'{e}}o Paoletti and
                  Marco Passerini and
                  Ivan Pavlov and
                  Auguste Poiroux and
                  Kaustubh Ponkshe and
                  Nathan Ranchin and
                  Javier Rando and
                  Mathieu Sauser and
                  Jakhongir Saydaliev and
                  Mukhammadali Sayfiddinov and
                  Marian Schneider and
                  Stefano Schuppli and
                  Marco Scialanga and
                  Andrei Semenov and
                  Kumar Shridhar and
                  Raghav Singhal and
                  Anna Sotnikova and
                  Alexander Sternfeld and
                  Ayush Kumar Tarun and
                  Paul Teiletche and
                  Jannis Vamvas and
                  Xiaozhe Yao and
                  Hao Zhao and
                  Alexander Ilic and
                  Ana Klimovic and
                  Andreas Krause and
                  Caglar Gulcehre and
                  David Rosenthal and
                  Elliott Ash and
                  Florian Tram{\`{e}}r and
                  Joost VandeVondele and
                  Livio Veraldi and
                  Martin Rajman and
                  Thomas C. Schulthess and
                  Torsten Hoefler and
                  Antoine Bosselut and
                  Martin Jaggi and
                  Imanol Schlag},
  editor       = {Maria Liakata and
                  Viviane P. Moreira and
                  Jiajun Zhang and
                  David Jurgens},
  title        = {Apertus: Democratizing Open and Compliant LLMs for Global Language
                  Environments},
  booktitle    = {Proceedings of the 64th Annual Meeting of the Association for Computational
                  Linguistics (Volume 1: Long Papers), {ACL} 2026, San Diego, California,
                  United States, July 2-7, 2026},
  pages        = {46877--46955},
  publisher    = {Association for Computational Linguistics},
  year         = {2026},
  url          = {https://doi.org/10.18653/v1/2026.acl-long.2172},
  doi          = {10.18653/V1/2026.ACL-LONG.2172},
  timestamp    = {Mon, 03 Aug 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acl/Hernandez-CanoH26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2603-02668,
  author       = {Austin Letson and
                  Leopoldo Sarra and
                  Auguste Poiroux and
                  Oliver Dressler and
                  Paul Lezeau and
                  Dhyan Aranha and
                  Frederick Pu and
                  Aaron Hill and
                  Miguel Corredera Hidalgo and
                  Julian Berman and
                  George Tsoukalas and
                  Lenny Taelman},
  title        = {SorryDB: Can {AI} Provers Complete Real-World Lean Theorems?},
  journal      = {CoRR},
  volume       = {abs/2603.02668},
  year         = {2026},
  url          = {https://doi.org/10.48550/arXiv.2603.02668},
  doi          = {10.48550/ARXIV.2603.02668},
  eprinttype   = {arXiv},
  eprint       = {2603.02668},
  timestamp    = {Sun, 26 Apr 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2603-02668.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2604-19459,
  author       = {Kyuhee Kim and
                  Auguste Poiroux and
                  Antoine Bosselut},
  title        = {Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning},
  journal      = {CoRR},
  volume       = {abs/2604.19459},
  year         = {2026},
  url          = {https://doi.org/10.48550/arXiv.2604.19459},
  doi          = {10.48550/ARXIV.2604.19459},
  eprinttype   = {arXiv},
  eprint       = {2604.19459},
  timestamp    = {Mon, 18 May 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2604-19459.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2604-23468,
  author       = {Sidharth Hariharan and
                  Christopher Birkbeck and
                  Seewoo Lee and
                  Ho Kiu Gareth Ma and
                  Bhavik Mehta and
                  Auguste Poiroux and
                  Maryna Viazovska},
  title        = {A Milestone in Formalization: The Sphere Packing Problem in Dimension
                  8},
  journal      = {CoRR},
  volume       = {abs/2604.23468},
  year         = {2026},
  url          = {https://doi.org/10.48550/arXiv.2604.23468},
  doi          = {10.48550/ARXIV.2604.23468},
  eprinttype   = {arXiv},
  eprint       = {2604.23468},
  timestamp    = {Wed, 03 Jun 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2604-23468.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GuilloudCGPHBK25,
  author       = {Simon Guilloud and
                  Julie Cailler and
                  Sankalp Gambhir and
                  Auguste Poiroux and
                  Yann Herklotz and
                  Thomas Bourgeat and
                  Viktor Kuncak},
  editor       = {Clark W. Barrett and
                  Uwe Waldmann},
  title        = {Interoperability of Proof Systems with {SC-TPTP}},
  booktitle    = {Automated Deduction - {CADE} 30 - 30th International Conference on
                  Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15943},
  pages        = {325--340},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-031-99984-0\_18},
  doi          = {10.1007/978-3-031-99984-0\_18},
  timestamp    = {Fri, 17 Jul 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GuilloudCGPHBK25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emnlp/PoirouxBK25,
  author       = {Auguste Poiroux and
                  Antoine Bosselut and
                  Viktor Kuncak},
  editor       = {Christos Christodoulopoulos and
                  Tanmoy Chakraborty and
                  Carolyn Rose and
                  Violet Peng},
  title        = {RLMEval: Evaluating Research-Level Neural Theorem Proving},
  booktitle    = {Findings of the Association for Computational Linguistics: {EMNLP}
                  2025, Suzhou, China, November 4-9, 2025},
  pages        = {10946--10957},
  publisher    = {Association for Computational Linguistics},
  year         = {2025},
  url          = {https://doi.org/10.18653/v1/2025.findings-emnlp.581},
  doi          = {10.18653/V1/2025.FINDINGS-EMNLP.581},
  timestamp    = {Wed, 10 Jun 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emnlp/PoirouxBK25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emnlp/PoirouxWKB25,
  author       = {Auguste Poiroux and
                  Gail Weiss and
                  Viktor Kuncak and
                  Antoine Bosselut},
  editor       = {Christos Christodoulopoulos and
                  Tanmoy Chakraborty and
                  Carolyn Rose and
                  Violet Peng},
  title        = {Reliable Evaluation and Benchmarks for Statement Autoformalization},
  booktitle    = {Proceedings of the 2025 Conference on Empirical Methods in Natural
                  Language Processing, {EMNLP} 2025, Suzhou, China, November 4-9, 2025},
  pages        = {17947--17969},
  publisher    = {Association for Computational Linguistics},
  year         = {2025},
  url          = {https://doi.org/10.18653/v1/2025.emnlp-main.907},
  doi          = {10.18653/V1/2025.EMNLP-MAIN.907},
  timestamp    = {Wed, 10 Jun 2026 11:17:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emnlp/PoirouxWKB25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2510-25427,
  author       = {Auguste Poiroux and
                  Antoine Bosselut and
                  Viktor Kuncak},
  title        = {RLMEval: Evaluating Research-Level Neural Theorem Proving},
  journal      = {CoRR},
  volume       = {abs/2510.25427},
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2510.25427},
  doi          = {10.48550/ARXIV.2510.25427},
  eprinttype   = {arXiv},
  eprint       = {2510.25427},
  timestamp    = {Mon, 17 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2510-25427.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2406-07222,
  author       = {Auguste Poiroux and
                  Gail Weiss and
                  Viktor Kuncak and
                  Antoine Bosselut},
  title        = {Improving Autoformalization using Type Checking},
  journal      = {CoRR},
  volume       = {abs/2406.07222},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2406.07222},
  doi          = {10.48550/ARXIV.2406.07222},
  eprinttype   = {arXiv},
  eprint       = {2406.07222},
  timestamp    = {Mon, 08 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2406-07222.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.