Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
Paper • 2603.15929 • Published • 15
Rohan Pandey
rawll
·
AI & ML interests
None yet
Recent Activity
upvoted a paper 27 days ago
Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium upvoted a paper 2 months ago
Semantic Search over 9 Million Mathematical Theorems upvoted a paper 2 months ago
Learning to Repair Lean Proofs from Compiler FeedbackOrganizations
upvoted a paper 27 days ago