Conceptio
›
Archive
›
arXiv (OAI Expanded)
arXiv (OAI Expanded)
open access
Reward-Oracle MCTS for Formal Theorem Proving: Sample-Efficient Search and the Need for Kernel-Level Proof Auditing
Vamshi, Bodla Krishna et al.
arXiv (OAI Expanded) · Papers · License: Open Access
Open Source ↗
Direct PDF ↓
logic-in-computer-science
artificial intelligence, machine learning, logic in computer science
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Related documents
Simulation-free Unbalanced Dynamic Optimal Transport with General Growth Penalty
#965975
Occupancy-based Quantile Risk Control
#921233
Scaling Laws, Tabular Data and Actuarial Ratemaking Models
#921234
CRAW: Codec Robust Audio Watermarking
#921235
Building a research-software catalog with a coding agent: from hackathon prototype to public deployment
#965976
Record
· ID 788885
Retrieved via
Conceptio
— every document is proof-bundled with source, license, and retrieval metadata.