Bryan Dai
- Papers
- 9
Cite
Notes
Only stored in your browser.
9papers
Authored papers
9IQuest-Coder-V1 Technical Report
arXiv 2026
InCoder-32B: Code Foundation Model for Industrial Scenarios
arXiv 2026
CodeCircuit: Toward Inferring LLM-Generated Code Correctness via Attribution Graphs
arXiv 2026
Large-Scale Terminal Agentic Trajectory Generation from Dockerized Environments
arXiv 2026
TMAS: Scaling Test-Time Compute via Multi-Agent Synergy
arXiv 2026
REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
arXiv 2025
Universal Reasoning Model
arXiv 2025
Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning
arXiv 2025
One-shot Entropy Minimization
arXiv 2025
Affiliations
No known affiliations.
Frequent co-authors
10from 9 papers