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