Leni Aniva

According to our database, Leni Aniva authored at least 10 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4.

Leni Aniva, Iori Oikawa, David Dill, Clark W. Barrett

CoRR, February, 2026

2025

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4.

Leni Aniva, Chuyue Sun, Brando Miranda, Clark W. Barrett, Sanmi Koyejo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

cvc5 for SMT-COMP 2024.

Leni Aniva, Haniel Barbosa, Clark W. Barrett, Hanna Lachnitt, Daniel Larraz, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Hans-Jörg Schurr, Cesare Tinelli, Amalee Wilson, Yoni Zohar

Dataset, June, 2024

IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL.

Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL.

Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli

Dataset, October, 2023

Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference.

Jianlin Li, Leni Aniva, Pengyuan Shi, Yizhou Zhang

Proc. ACM Program. Lang., January, 2023

Automatic Verification of SMT Rewrites in Isabelle/HOL.

Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

2022

Traffic classification in an increasingly encrypted web.

Iman Akbari, Mohammad A. Salahuddin, Leni Aniva, Noura Limam, Raouf Boutaba, Bertrand Mathieu, Stephanie Moteau, Stéphane Tuffin

Commun. ACM, 2022

2021

Regularization and Reparameterization Avoid Vanishing Gradients in Sigmoid-Type Networks.

Leni Aniva, Johannes Lederer

CoRR, 2021

A Look Behind the Curtain: Traffic Classification in an Increasingly Encrypted Web.

Iman Akbari, Mohammad A. Salahuddin, Leni Aniva, Noura Limam, Raouf Boutaba, Bertrand Mathieu, Stephanie Moteau, Stéphane Tuffin

Proceedings of the SIGMETRICS '21: ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, 2021