◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Loyola University Chicago

United States

14 papers here53 citations across 14
fields
  • astro-ph.HE8
  • astro-ph.IM1
  • cs.AI1
  • cs.SE1
  • hep-ex1
  • hep-ph1
  • math.DG1
ROR 04b6x2g63OpenAlex

affiliations via OpenAlex

most citedEvidence for a Spectral Break or Curvature in the Spectrum of Astrophysical Neutrinos from 5 TeV--10 PeV

14 citations

researchers with a paper here
  • C. Rott3 profiles9 · h 88
  • A. Fedynitch8 · h 61
  • A. Weindl2 profiles8 · h 61
  • C. Walck3 profiles8 · h 85
  • C. Weaver3 profiles8 · h 78
  • J. Vandenbroucke2 profiles8 · h 97
  • N. Whitehorn2 profiles8 · h 80
  • S. Verpoest2 profiles8 · h 33
  • S. Yoshida5 profiles8 · h 81
  • A. Fazely7 · h 85
  • A. Franckowiak7 · h 94
  • A. Ghadimi2 profiles7 · h 27
collaborating institutions
  • Université Libre de BruxellesBE10 papers
  • Sungkyunkwan UniversityKR9 papers
  • The University of AdelaideAU9 papers
  • University of UtahUS9 papers
  • Chiba UniversityJP8 papers
  • Columbia UniversityUS8 papers
  • Georgia Institute of TechnologyUS8 papers
  • Humboldt-Universität zu BerlinDE8 papers
  • Lawrence Berkeley National LaboratoryUS8 papers
  • Massachusetts Institute of TechnologyUS8 papers
  • Ruhr University BochumDE8 papers
  • RWTH Aachen UniversityDE8 papers
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation

Arslan Bisharat, Brian Ortiz, Eric Spencer +5

TLA+ has supported industrial verification at companies such as Amazon and Microsoft, yet writing correct TLA+ specifications from natural language still requires time and expertis…

◍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.