Wray Buntine
- Papers
- 3
Cite
Notes
Only stored in your browser.
3papers
Authored papers
3VerifiAgent: a Unified Verification Agent in Language Model Reasoning
arXiv 2025
Uncertainty-Based Methods for Automated Process Reward Data Construction and Output Aggregation in Mathematical Reasoning
arXiv 2025
Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification
arXiv 2024
Affiliations
No known affiliations.
Frequent co-authors
3from 3 papers