Matin Ansaripour

According to our database, Matin Ansaripour authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

2024

LLaMa-SciQ: An Educational Chatbot for Answering Science MCQ.

Marc-Antoine Allard, Matin Ansaripour, Maria Yuffa, Paul Teiletche

CoRR, 2024

Gabow's Cardinality Matching Algorithm in General Graphs: Implementation and Experiments.

Matin Ansaripour, Alireza Danaei, Kurt Mehlhorn

CoRR, 2024

2023

Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.

Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Learning Control Policies for Region Stabilization in Stochastic Systems.

Matin Ansaripour, Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger

CoRR, 2022