Scholar

Elizabeth Polgreen

Google Scholar ID: wFYhUkIAAAAJ

Lecturer, University of Edinburgh

automated verification

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

463

H-index

12

i10-index

16

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

6 items

NSynC: Normalised Synthesis of Computation

2026

Cited

0

HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation

2025

Cited

0

Guided Tensor Lifting

2025

Cited

0

Metric-Guided Synthesis of Class Activation Mapping

2025

Cited

0

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification

2025

Cited

0

Online Prompt and Solver Selection for Program Synthesis

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)