Martin Lange
- Fundamental Limits in Formal Verification of Message-Passing Neural Networks
2022/06/10 by Marco Sälzer, Martin Lange, Sälzer, Marco +1 · 3 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Physical Unclonable Functions (PUFs) and Hardware Security #Advanced Memory and Neural Computing
- Solving parity games by a reduction to SAT
2011/05/20 by Keijo Heljanko, Misa Keinänen, Martin Lange +1 · 1 citation
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Investigating the analytical robustness of the social and behavioural sciences
2026/04/01 by Balazs Aczel, Barnabas Szaszi, Harry T. Clelland +501 · 3 voices · 6 citations
Decision Sciences · Social Sciences · #Academic integrity and plagiarism #Meta-analysis and systematic reviews #Reliability and Agreement in Measurement
- Do refugees impact crime? Causal evidence from large-scale refugee immigration to Germany
2023/12/06 by Martin Lange, Katrin Sommerfeld · 1 voice · 1 citation
Psychology · Social Sciences · #Crime Patterns and Interventions #Migration and Labor Dynamics #Migration, Health and Trauma
- The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
2025/05/17 by Marco Sälzer, Sälzer, Marco, Przemysław Andrzej Wałęga +3 · 1 voice · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #cs.AI #cs.LG #cs.LO
- Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
2024/05/28 by Marco Sälzer, Sälzer, Marco, Eric Alsmann +3 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computability, Logic, AI Algorithms #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)