Mündler, Niels
- Humanity's Last Exam
2025/01/24 by Long Phan, Alice Gatti, Phan, Long +2240 · 9 voices · 116 citations
#cs.LG #cs.AI #cs.CL
- SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents
2024/06/18 by Niels Mündler, Mündler, Niels, Mark Niklas Müller +5 · 45 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multi-Agent Systems and Negotiation #Software Engineering (cs.SE) #Software System Performance and Reliability #Software Testing and Debugging Techniques
- BaxBench: Can LLMs Generate Correct and Secure Backends?
2025/02/17 by Mark Vero, Vero, Mark, Niels Mündler +13 · 3 voices · 14 citations
Computer Science · #Digital Rights Management and Security #cs.AI #cs.CR #cs.LG #cs.PL
- Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation
2023/05/25 by Niels Mündler, Jingxuan He, Mündler, Niels +5 · 11 citations
Engineering · Computer Science · #Ferroelectric and Negative Capacitance Devices #Topic Modeling #Text Readability and Simplification
- Black-Box Adversarial Attacks on LLM-Based Code Completion
2024/08/05 by Slobodan Jenko, Niels Mündler, Jenko, Slobodan +7 · 4 citations
Computer Science · #Advanced Malware Detection Techniques #Cryptographic Implementations and Security #Security and Verification in Computing
- Constrained Decoding of Diffusion LLMs with Context-Free Grammars
2025/08/13 by Mündler, Niels, Dekoninck, Jasper, Vechev, Martin · 3 citations
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE)