We have 4 of 7 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
This work proposes a method that generates computationally sound solutions with dependency graphs for execution-consistent preference optimization, and achieves 50.1% accuracy on PhyX multimodal physics reasoning, surpassing DeepSeek-R1 and OpenAI o3-mini.
CompileRover employs a sophisticated three-role collaboration mechanism, comprising a referee, an advisor, and an operator, effectively overcoming performance bottlenecks by leveraging comprehensive optimization algorithms and novel methodologies, including control flow analysis, code structure transformations, and dyn...
Scientific Feasibility Control SFC is introduced, a graph-structured conformal prediction framework that provides statistical guarantees for scientific reasoning validity through progressive absolute-coherent-factuality validation and decomposes scientific reasoning into atomic absolute-coherent-factuality units.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
