Aur\'elien Rodriguez

Identifiers

• name variant Aur\'elien Rodriguez 0.60 · backfill

Papers (2)

1. Command A: An Enterprise-Ready Large Language Model cs.CL · 2025 · author #174
2. HyperTree Proof Search for Neural Theorem Proving cs.CL · 2022 · author #7

Mentions

• 2504.00698 #174 · arxiv_oai · confidence 0.70 Aur\'elien Rodriguez
• 2205.11491 #7 · arxiv_oai · confidence 0.70 Aur\'elien Rodriguez

Frequent Coauthors

• Abdullah Elkady 1 shared papers
• Ace Eldeib 1 shared papers
• Acyr Locatelli 1 shared papers
• Adi Bongale 1 shared papers
• Adrien Morisot 1 shared papers
• Ahmet \"Ust\"un 1 shared papers
• Aidan Gomez 1 shared papers
• Alejandro Salamanca 1 shared papers
• Alekhya Nandula 1 shared papers
• Aleksandra Piktus 1 shared papers
• Alexandre Barbet 1 shared papers
• Alexandre B\'erard 1 shared papers
• Alexandre Matton 1 shared papers
• Alexis Chevalier 1 shared papers
• Alex McKinney 1 shared papers
• Alex Wang 1 shared papers
• Alice Schoenauer Sebag 1 shared papers
• Ali Edalati 1 shared papers
• Amaury Hayat 1 shared papers
• Amir Shukayev 1 shared papers