Published work

• DivKC: A Divide-and-Conquer Approach to Knowledge Compilation,
  O. Zeyen, K. Tit, M. Cordy, G. Perrouin — 29th International Conference on Fundamental Approaches to Software Engineering (FASE), 2026.

• KCLNet: Physics-Informed Power Flow Prediction via Constraints Projections,
  P. Dogoulis, K. Tit, M. Cordy — Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML PKDD), 2025.

• Fast Reliability Estimation for Neural Networks with Adversarial Attack-Driven Importance Sampling,
  K.T., T. Furon - 40th Conference on Uncertainty in Artificial Intelligence (UAI), Jul 2024, Barcelona, Spain.

• TS-SCAN: a Density-Based Clustering Method for Trajectory Analysis and Anomaly Detection,
  L. Monnier, L.-M. Traonouez, K.T. - 7th International Conference on RADAR (RADAR), Oct 2024, Rennes, France.

• Gradient-Informed Neural Network Statistical Robustness Estimation,
  K.T., T. Furon, M. Rousset - 26th International Conference on Artificial Intelligence and Statistics (AISTATS), Apr 2023, Valencia, Spain.

• Three Bricks to Consolidate Watermarks for Large Language Models,
  P. Fernandez, A. Chaffin, K.T., V. Chappelier, T. Furon - IEEE 15th International Workshop on Information Forensics and Security (WIFS), Dec 2023, Nuremberg, Germany.

• Efficient Statistical Assessment of Neural Network Corruption Robustness,
  K.T., T. Furon, M. Rousset - 35th Conference on Neural Information Processing Systems (NeurIPS), Dec 2021, Sydney (virtual), Australia.

• Évaluation statistique efficace de la robustesse de classifieurs,
  K.T., T. Furon, M. Rousset, L.-M. Traonouez - Conference on Artificial Intelligence for Defense (CAID), Nov 2021, Rennes, France.

Preprints

• Constraint-Guided Prediction Refinement via Deterministic Diffusion Trajectories,
  P. Dogoulis, F. Bernier, F. Fourreau, K. Tit, M. Cordy — arXiv preprint, 2025.

Ph.D. thesis

• Reliability of Deep Learning with Rare Event Simulation: Theory and Practice,
  K. Tit, thesis defended in April 2024.