conftrace_

conjecturing

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large collection of examples (1) research-level questions (1) llms (1) open problem (1) expert iteration (1) algebraic combinatorics (1) machine learning model (1) theorem prover (1) self-play (1) formal verification (1)

Papers

Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematics ICML 2025 STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving ICML 2025