Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
Value Functions as Supermartingale Certificates
Alessandro Abate, Daniel Contro, Mirco Giacobbe +2
Certification methods for stochastic systems provide sufficient proof rules, based on real-valued supermartingale certificates, to determine the almost-sure satisfaction of -reg…
cs.LG2026
Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification
Erik Y. Wang, Sumeet R. Motwani, James V. Roggeveen +9
Can AI make progress on important, unsolved mathematical problems? Large language models are now capable of sophisticated mathematical and scientific reasoning, but whether they ca…