AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
We have 2 of 41 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.
DAPS, a dependency-aware premise selector with a structural neighborhood encoder, a group-level contrastive objective, and a Mathlib-then-Blueprint adaptation procedure is introduced, and experiments demonstrate that DAPS premises improve theorem proving on miniF2F and IMO-ProofBench.
FormalRx is introduced, a comprehensive diagnostic evaluation framework that transforms autoformalization assessment from black-box judgments into actionable feedback, and enables systematic diagnosis and improvement of autoformalization systems.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.