Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
Paper • 2603.15929 • Published • 14
Evan Wang
evanywang
AI & ML interests
None yet
Recent Activity
upvoted a paper 6 days ago
Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium authored a paper about 2 months ago
Learning to Repair Lean Proofs from Compiler Feedback upvoted a paper about 2 months ago
Learning to Repair Lean Proofs from Compiler FeedbackOrganizations
