0

Sarah Fakhoury

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

Ranking LLM-Generated Loop Invariants for Program Verification

arXiv 2023

2023

Affiliations

No known affiliations.

Frequent co-authors

8

from 1 papers

Aditya Senthilnathan

1 shared paper

Akash Lal

1 shared paper

Aseem Rastogi

1 shared paper

Madanlal Musuvathi

1 shared paper

Nikhil Swamy

1 shared paper

Rahul Sharma

1 shared paper

Saikat Chakraborty

1 shared paper

Shuvendu K. Lahiri

1 shared paper