Sotabase

Career

· Case Handler, European Commission2024–
· Max Weber Fellow, European University Institute
· Lawyer, Lakatos, Köves and Partners
· Assistant Professor of Competition Law and Digital Regulation, Tilburg University

Publications (0)

Gradient Regularization Improves Accuracy of Discriminative Models
arXiv.org · 2017
55
cited
Towards Finding Longer Proofs
International Conference on Theorem Proving with Analytic Tableaux and Related Methods · 2019
18
cited
Prolog Technology Reinforcement Learning Prover
International Joint Conference on Automated Reasoning · 2020
16
cited
The Role of Entropy in Guiding a Connection Prover
International Conference on Theorem Proving with Analytic Tableaux and Related Methods · 2021
13
cited
Efficient Two-Phase Data Reasoning for Description Logics
IFIP AI · 2008
9
cited
Lemmas: Generation, Selection, Application
International Conference on Theorem Proving with Analytic Tableaux and Related Methods · 2023
8
cited
A Resolution Based Description Logic Calculus
Description Logics · 2009
4
cited
Static Type Checking for the Q Functional Language in Prolog
International Conference on Logic Programming · 2011
4
cited
Static Type Inference for the Q language using Constraint Logic Programming
International Conference on Logic Programming · 2012
4
cited
Curriculum Learning and Theorem Proving
2019
3
cited
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language
arXiv.org · 2011
3
cited
Pros and Cons of Using CHR for Type Inference
2012
2
cited
Towards Unbiased Exploration in Partial Label Learning
arXiv.org · 2023
2
cited
Two Phase Description Logic Reasoning for Efficient Information Retrieval
International Conference on Logic Programming · 2010
2
cited
Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving
Acta Cybernetica · 2012
1
cited
Safety without alignment
arXiv.org · 2023
1
cited
Competition Policy Brief Competition in Generative
Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
arXiv.org · 2025
Data-dependent Pruning to find the Winning Lottery Ticket
arXiv.org · 2020
Do Attention Heads Compete or Cooperate during Counting?
arXiv.org · 2025
Sotabase