Bernd Finkbeiner
6 papers · 2021–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Conference Polyglot (3) π Academic Marathon (5) π Renaissance Researcher (6) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (14)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(15)
Conferences
AAAI (2)
ICLR (2)
NIPS (2)
Top co-authors
Keywords
formal verification
(2)
temporal logic
(2)
knowledge distillation
(1)
approximation algorithm
(1)
formal language
(1)
model checking
(1)
specification mining
(1)
propositional satisfiability
(1)
linear temporal logic
(1)
circuit synthesis
(1)
alternating-time temporal logic
(1)
neuro-symbolic approach
(1)
control synthesis
(1)
attention-based architecture
(1)
neural network
(1)
concurrent game structure
(1)
safety controller
(1)
neural circuit synthesis
(1)
hardware synthesis
(1)
strategic ability
(1)
Papers
Universal Safety Controllers with Learned Prophecies
AAAI 2026
Learning Better Representations From Less Data For Propositional Satisfiability
NIPS 2024
On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
AAAI 2024
Iterative Circuit Repair Against Formal Specifications
ICLR 2023
Neural Circuit Synthesis from Specification Patterns
NIPS 2021
Teaching Temporal Logics to Neural Networks
ICLR 2021