Synthical logo
Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Contacts
About
Simple
Original

Articles by Daniel Kroening

Quantifying the benefits of code hints for refactoring deprecated Java APIs
11 December 2024 by Cristina David and others
Software Engineering
Scalable, Validated Code Translation of Entire Projects using Large Language Models
11 December 2024 by Hanliang Zhang and others
Programming Languages, Software Engineering
Causal Explanations for Image Classifiers
13 November 2024 by Hana Chockler and others
Artificial Intelligence
Neural Model Checking
31 October 2024 by Mirco Giacobbe and others
Logic in Computer Science, Machine Learning
VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
25 May 2024 by Aidan Z. H. Yang and others
Programming Languages, Software Engineering
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
21 May 2024 by Hasan Ferit Eniser and others at LogoUniversity of Bristol
Software Engineering
Multiple Different Black Box Explanations for Image Classifiers
13 February 2024 by Hana Chockler and others at LogoKing's College London, University of London
Computer Vision and Pattern Recognition, Artificial Intelligence
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
18 December 2023 by Rohan Mitta and others
Machine Learning, Logic in Computer Science
You Only Explain Once
23 November 2023 by David Kelly and others
Computer Vision and Pattern Recognition
CBMC: The C Bounded Model Checker
5 February 2023 by Daniel Kroening and others at LogoUniversity of Oxford
Software Engineering, Logic in Computer Science
JBMC: A Bounded Model Checking Tool for Java Bytecode
5 February 2023 by Romain Brenguier and others
Software Engineering, Logic in Computer Science
2LS for Program Analysis
5 February 2023 by Daniel Kroening and others at LogoBrno University of Technology
Software Engineering, Logic in Computer Science
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning
21 September 2022 by Hosein Hasanbeig and others
Machine Learning, Artificial Intelligence
Active Learning of Abstract System Models from Traces using Model Checking [Extended]
11 December 2021 by Natasha Yogananda Jeppu and others
Formal Languages and Automata Theory, Logic in Computer Science
Neural Termination Analysis
21 October 2021 by Mirco Giacobbe and others
Machine Learning, Logic in Computer Science
Ranking Policy Decisions
3 October 2021 by Hadrien Pouget and others
Machine Learning
Exposing Previously Undetectable Faults in Deep Neural Networks
1 June 2021 by Isaac Dunn and others
Machine Learning, Computer Vision and Pattern Recognition
Shielding Atari Games with Bounded Prescience
22 January 2021 by Mirco Giacobbe and others
Artificial Intelligence
Explaining Image Classifiers using Statistical Fault Localization
17 July 2020 by Youcheng Sun and others
Machine Learning, Artificial Intelligence
The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation
12 July 2020 by John Galea and Daniel Kroening
Cryptography and Security, Software Engineering
Investigating Distributional Robustness: Semantic Perturbations Using Generative Models
24 June 2020 by Isaac Dunn and others
Computer Vision and Pattern Recognition, Machine Learning
Cautious Reinforcement Learning with Logical Constraints
21 March 2020 by Mohammadhosein Hasanbeig and others
Machine Learning, Artificial Intelligence
Learning Concise Models from Long Execution Traces
26 February 2020 by Natasha Yogananda Jeppu and others
Formal Languages and Automata Theory, Software Engineering
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
12 February 2020 by Mohammadhosein Hasanbeig and others
Machine Learning, Artificial Intelligence
CounterExample Guided Neural Synthesis
25 January 2020 by Elizabeth Polgreen and others
Logic in Computer Science, Machine Learning
Hardware/Software Co-verification Using Path-based Symbolic Execution
5 January 2020 by Rajdeep Mukherjee and others
Formal Languages and Automata Theory, Logic in Computer Science
Certified Reinforcement Learning with Logic Guidance
11 December 2019 by Mohammadhosein Hasanbeig and others
Machine Learning
Modular Deep Reinforcement Learning with Temporal Logic Specifications
22 November 2019 by Lim Zun Yuan and others
Machine Learning, Artificial Intelligence
Adaptive Generation of Unrestricted Adversarial Inputs
1 October 2019 by Isaac Dunn and others at LogoUniversity of Oxford
Machine Learning, Cryptography and Security
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
11 September 2019 by Mohammadhosein Hasanbeig and others
Logic in Computer Science, Machine Learning
Load more