Get started
Author

Noah Gießing

Observed name: Gießing, Noah
ORCID: 0009-0006-5268-2519
Observed ORCID: 0009-0006-5268-2519
OpenAlex ID: A5093836286
Can LLMs Master Math? Investigating Large Language Models on Math Stack Exchange
2024 · Ankit Satpute, Noah Gießing, et al. · International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR) · 33
PDF
Taxonomy of Mathematical Plagiarism
2024 · Ankit Satpute, André Greiner-Petter, et al. · Lecture notes in computer science · 5
PDF
Aspect-Aware Content-Based Recommendations for Mathematical Research Papers
2026 · Ankit Satpute, André Greiner-Petter, et al. · International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR) · 1
Audit Me If You Can: Query-Efficient Active Fairness Auditing of Black-Box LLMs
2026 · David Hartmann, Lena Pohlmann, et al. · Findings of the Association for Computational Linguistics: ACL (Findings of ACL) · 1
PDF
Reducing the climate impact of data portals: a case study
2024 · Gießing, Noah, Deb, Madhurima, et al. · arXiv (Cornell University) · 1
PDF
Formal-Informal Mathematical Alignment through and beyond Human Annotations
2026 · Noah Gießing, Ankit Satpute, et al. · ACM International Conference on Information and Knowledge Management (CIKM)
Metadata of AFP entries for MaRDI upload
2026 · Gießing, Noah · Zenodo (CERN European Organization for Nuclear Research)
Conserved quantities of discretizations by polarization
2026 · Noah Gießing, Yuri B. Suris · Open Communications in Nonlinear Mathematical Physics
PDF
A Survey on LLMs in Automated Theorem Proving
2026 · Gießing, Noah, Rahkooy, Hamid, et al. · Zenodo (CERN European Organization for Nuclear Research)
A dataset of formal proofs in lean from the 1000 theorems project, for integration into the MaRDI knowledge graph.
2026 · Gießing, Noah, Schubotz, Moritz · Zenodo (CERN European Organization for Nuclear Research)
Works count: 11
Citation count: 41
H-index: 2
I10-index: 1
Year
Topic
Type