Makai Mann

39 papers A* 3A 4B 4C 2Journal 16Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards.
L4DC
Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2025 J jnl
SPLASH! Sample-efficient Preference-based inverse reinforcement learning for Long-horizon Adversarial tasks from Suboptimal Hierarchical demonstrations.
CoRR
Peter Crowley, Zachary Serlin, Tyler M. Paine, Makai Mann, Michael R. Benjamin, Calin Belta
2024 J jnl
Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards.
CoRR
Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2024 — conf
Control Barrier Function Toolbox: An Extensible Framework for Provable Safety.
NFM
Andrew Schoer, Helena Teixeira-Dasilva, Christian So, Makai Mann, Roberto Tron
2024 A* conf
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems.
ICRA
Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan
2024 A* conf
Run-Time Task Composition with Safety Semantics.
ICML
Kevin Leahy, Makai Mann, Zachary Serlin
2024 C conf
Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control.
ACC
Max H. Cohen, Makai Mann, Kevin Leahy, Calin Belta
2023 J jnl
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo.
CoRR
Gustavo A. Cardona, Kevin Leahy, Makai Mann, Cristian-Ioan Vasile
2023 J jnl
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems.
CoRR
Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan
2023 J jnl
Improving Energy Efficiency of CGRAs with Low-Overhead Fine-Grained Power Domains.
ACM Trans. Reconfigurable Technol. Syst.
Ankita Nayak, Keyi Zhang, Rajsekhar Setaluri, Alex Carsello, Makai Mann, Christopher Torng, Stephen Richardson, Rick Bahr, Pat Hanrahan, Mark Horowitz, Priyanka Raina
2023 C conf
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.
ACC
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
2023 B conf
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning.
FMCAD
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett
2023 J jnl
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning.
CoRR
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett
2023 — conf
Rewrite-Based Decomposition of Signal Temporal Logic Specifications.
NFM
Kevin Leahy, Makai Mann, Cristian-Ioan Vasile
2023 A conf
STL: Surprisingly Tricky Logic (for System Validation).
IROS
Ho Chit Siu, Kevin Leahy, Makai Mann
2023 J jnl
STL: Surprisingly Tricky Logic (for System Validation).
CoRR
Ho Chit Siu, Kevin Leahy, Makai Mann
2023 J jnl
Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning.
CoRR
Kevin Leahy, Makai Mann, Zachary Serlin
2023 J jnl
Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control.
CoRR
Max H. Cohen, Makai Mann, Kevin Leahy, Calin Belta
2022 B conf
Bit-Precise Reasoning via Int-Blasting.
VMCAI
Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
2022 J jnl
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays.
Log. Methods Comput. Sci.
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
2022 J jnl
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.
CoRR
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
2022 — conf
cvc5: A Versatile and Industrial-Strength SMT Solver.
TACAS (1)
Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar
2021 B conf
Automating System Configuration.
FMCAD
Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett
2021 J jnl
Automating System Configuration.
CoRR
Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett
2021 — conf
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays.
TACAS (1)
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
2021 J jnl
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays.
CoRR
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
2021 — conf
Pono: A Flexible and Extensible SMT-Based Model Checker.
CAV (2)
Makai Mann, Ahmed Irfan, Florian Lonsing, Yahan Yang, Hongce Zhang, Kristopher Brown, Aarti Gupta, Clark W. Barrett
2021 A conf
Smt-Switch: A Solver-Agnostic C++ API for SMT Solving.
SAT
Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli, Clark W. Barrett
2021 J jnl
lazybvtoint at the SMT Competition 2020.
CoRR
Yoni Zohar, Ahmed Irfan, Makai Mann, Andres Nötzli, Andrew Reynolds, Clark W. Barrett
2020 A conf
A Framework for Adding Low-Overhead, Fine-Grained Power Domains to CGRAs.
DATE
Ankita Nayak, Keyi Zhang, Rajsekhar Setaluri, Alex Carsello, Makai Mann, Stephen Richardson, Rick Bahr, Pat Hanrahan, Mark Horowitz, Priyanka Raina
2020 A* conf
Creating an Agile Hardware Design Flow.
DAC
Rick Bahr, Clark W. Barrett, Nikhil Bhagdikar, Alex Carsello, Ross Daly, Caleb Donovick, David Durst, Kayvon Fatahalian, Kathleen Feng, Pat Hanrahan, Teguh Hofstee, Mark Horowitz, Dillon Huff, Fredrik Kjolstad, Taeyoung Kong, Qiaoyi Liu, Makai Mann, Jackson Melchert, Ankita Nayak, Aina Niemetz, Gedeon Nyengele, Priyanka Raina, Stephen Richardson, Rajsekhar Setaluri, Jeff Setter, Kavya Sreedhar, Maxwell Strange, James Thomas, Christopher Torng, Leonard Truong, Nestan Tsiskaridze, Keyi Zhang
2020 — conf
Partial Order Reduction for Deep Bug Finding in Synchronous Hardware.
TACAS (1)
Makai Mann, Clark W. Barrett
2020 — conf
Smt-Switch: A Solver-agnostic C++ API for SMT Solving.
SMT
Makai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett
2020 J jnl
Smt-Switch: a solver-agnostic C++ API for SMT Solving.
CoRR
Makai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett
2020 J jnl
fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components.
CoRR
Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross G. Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark W. Barrett, Pat Hanrahan
2020 — conf
fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components.
CAV (1)
Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross G. Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark W. Barrett, Pat Hanrahan
2019 — conf
Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks.
ReConFig
Caleb Donovick, Makai Mann, Clark W. Barrett, Pat Hanrahan
2019 A conf
Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper.
ICCAD
Florian Lonsing, Karthik Ganesan, Makai Mann, Srinivasa Shashank Nuthakki, Eshan Singh, Mario Srouji, Yahan Yang, Subhasish Mitra, Clark W. Barrett
2018 B conf
CoSA: Integrated Verification for Agile Hardware Design.
FMCAD
Cristian Mattarei, Makai Mann, Clark W. Barrett, Ross G. Daly, Dillon Huff, Pat Hanrahan