Nina Narodytska
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Lemur: Integrating Large Language Models in Automated Program Verification | 9th Annual Simons Institute Industry Day | 2023-11-02 |
A framework named Lemur integrates GPT-4 via OpenAI API with model-checkers UAutomizer and ESBMC, using LLM calls to propose, strengthen and repair loop… | ||
| Analysis of Core-Guided MaxSat Using Cores and Correction Sets | Satisfiability: Theory, Practice, and Beyond 2023 | 2023-04-17 |
Proves that core-guided MaxSAT and hitting-set solvers recover the same original-core structure and that the minimum hitting set equals optimum when computed… | ||
| CrystalBox: Efficient Model-Agnostic Explanations for Deep RL Controllers | Eighth Annual Industry Day | 2022-11-16 |
CrystalBox trains a neural black-box model-agnostic explainer on replayed system traces (eg Puffer) by labeling state+action pairs with horizon-wise… | ||
| nothing matches | ||