Brando Miranda
- Papers
- 3
Cite
Notes
Only stored in your browser.
3papers
Authored papers
3AlphaApollo: Orchestrating Foundation Models and Professional Tools into a Self-Evolving System for Deep Agentic Reasoning
arXiv 2025
Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs
arXiv 2025
Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
arXiv 2024
Affiliations
No known affiliations.
Frequent co-authors
10from 3 papers