John Loverich
john-glodon
ยท
AI & ML interests
None yet
Recent Activity
upvoted a paper about 14 hours ago
PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean upvoted a paper 6 days ago
World Models with Configurable Perception upvoted a paper 7 days ago
OR-License: Evaluating LLM Agents as Real-World Operations Research PractitionersOrganizations
