Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Feifei Ma
Map detail
Feifei Ma7 visible / 7 total nodes / 6 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipFeifei MaAFeifei MaResearcherA Fast and Practical Method to Estimate Volumes of Convex PolytopesWA Fast and Practical Me...preprint / 2013A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA)WA Tool for Computing an...preprint / 2015Quantifying Robustness to Adversarial Word SubstitutionsWQuantifying Robustness ...preprint / 2022LLM-Guided Quantified SMT Solving over Uninterpreted FunctionsWLLM-Guided Quantified S...preprint / 2026ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint ProgrammingWConstraintLLM: A Neuro-...preprint / 2025A Prompting-based Approach for Adversarial Example Generation and Robustness EnhancementWA Prompting-based Appro...preprint / 2022
Person6 links

Feifei Ma

Researcher