most citedEfficient Ranking Function-Based Termination Analysis with Bi-Directional Feedback

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2025

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation

Shaurya Gomber, Debangshu Banerjee, Gagandeep Singh

Current numerical abstract interpretation relies on fixed, hand-crafted, instruction-specific transformers tailored to each domain, causing three key limitations: transformers cann…