◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Galois (United States)

United States

21 papers here142 citations across 21
fields
  • cs.PL6
  • cs.CR4
  • cs.LG3
  • cs.LO2
  • cs.AR1
  • cs.GR1
  • cs.SE1
  • eess.SY1
ROR 03g8y8161OpenAlex

affiliations via OpenAlex

output
20112026
most citedAn Inductive Synthesis Framework for Verifiable Reinforcement Learning

52 citations

researchers with a paper here
  • David Darais4 · h 11
  • David Heath3 · h 10
  • William R. Harris3 · h 15
  • Alexander Grushin2 · h 8
  • Alvaro Velasquez2 profiles2 · h 7
  • M. Sottile2 · h 14
  • Qi Zhou2 · h 5
  • Scott Moore2 profiles2 · h 8
  • Simon Khan2 · h 4
  • Taisa Kushner2 profiles2 · h 7
  • Walt Woods2 · h 7
  • Aditya Zutshi1 · h 10
collaborating institutions
  • Georgia Institute of TechnologyUS3 papers
  • United States Air Force Research LaboratoryUS3 papers
  • Cornell UniversityUS2 papers
  • Purdue University West LafayetteUS2 papers
  • University of Colorado BoulderUS2 papers
  • Amazon (United States)US1 paper
  • Artificial Intelligence in Medicine (Canada)CA1 paper
  • Carnegie Mellon UniversityUS1 paper
  • City St George's, University of LondonGB1 paper
  • Clarkson UniversityUS1 paper
  • Dependable Computing (United States)US1 paper
  • Film IndependentUS1 paper
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2013★ 2 cited

Identifying change patterns in software history

Jason Dagit, Matthew Sottile

Traditional algorithms for detecting differences in source code focus on differences between lines. As such, little can be learned about abstract changes that occur over time withi…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.