Work

Neurosymbolic Modular Refinement Type Inference

Year: 2025

Type: conference-paper

Source: IEEE/ACM International Conference on Software Engineering (ICSE)

DOI: 10.1109/icse55347.2025.00090

Authors: Georgios Sakkas, Pratyush Sahu, Kyeling Ong, Ranjit Jhala

Institution: University of California San Diego

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411552417

FWCI: 1.967

Cites: 45

Cited by: 2

Related to: 10