Awesome Large Language Models

📄Papers 🧭Topics 🔥Trending 🗺️Map 🏆Leaderboards 🎓Learn 🤖Ask AI

⋯More

👥Authors 📚Reading Packs 📊Datasets 🛠️Tools 📰News 📝Blogs ✉️Newsletter 🎯Research Radar 🔖Saved

← authors · overview

Loading author…

Stay Updated

E-Mail Digest 🎯 Research Radar

Submit a paper · Privacy · Terms

© 2026 Awesome Papers.

Patrick Schnider — most-cited papers & profile · Large Language Models

← authors · overview

Patrick Schnider

3 papers · 0 citations · 2 h-index

University of Basel · ETH Zurich

Google Scholar ↗Semantic Scholar ↗OpenAlex ↗

Most-cited papers

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
2025

Top co-authors

Adam Kurpisz · 1 Aitor Iribar Lopez · 1 Aleksandar Mijatovi\'c · 1 Alessio Bottini · 1 Aluna Rizzoli · 1 Ana Cannas da Silva · 1 Ana-Maria Castravet · 1 Baran Hashemi · 1 Benjamin Doerr · 1 Charles Vial · 1 Chiara Meroni · 1 Claudio Fontanari · 1

Topics

Evaluation Agentic