Elamur Research⌕
☰
home / authors / Markus N. Rabe / cited by / page 2

Who cites Markus N. Rabe

567 citations of their works from 409 papers of our library (of the 149,439 whose bibliographies we read) · 104 with a page here, the most cited first · page 2 of 2 · 101–104 · ← Markus N. Rabe

1 2

  1. CodeRise: Bootstrapping LLMs for Ultra Low-Resource Programming Languages via Progressive Self-Refinement CurriculumFindings of the Association for Computational LinguisticsTengfei Wen, Xuanang Chen, Ben He, et al.2026
  2. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026
  3. From Natural Language to Certified Geometry Proofs: A Survey of LLM-Augmented Verification and Neuro-Symbolic Theorem ProvingBig Picture v2: Crafting a Research NarrativeIoannis Tzachristas, Georgios Tzachristas2026
  4. LOKA: Conflict-Aware LLM Knowledge Update with Adaptive Knowledge MemoryAnnual Meeting of the Association for Computational Linguistics (ACL)Binchi Zhang, Zhengzhang Chen, Zaiyi Zheng, et al.2026

1 2

305 more citing papers of our library have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/authors/markus-n-rabe/cited-by/page/2/