影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
41.07/100
前 13.7%
全站排名 #8,822
发表论文5 篇
平均评分
年均产出2.5 篇/年
Marta Kwiatkowska
研究方向
Robustness of deep learning · Formal verification and model checking · Probabilistic modelling · verification and synthesis
18
Strategyproof Reinforcement Learning from Human Feedback
NeurIPS 2025Poster
通讯23
MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear Programs
NeurIPS 2025Poster
二作5
BiCert: A Blinear Mixed Integer Programming Formulation for Precise Certified Bounds Against Data Poisoning Attacks
ICLR 2025Withdrawn
二作7
Certified Defense Against Complex Adversarial Attacks with Dynamic Smoothing
ICLR 2025Withdrawn
二作