works on
giant planets 1m-dwarf stars 1planetary metallicity 1radial velocity 1transiting exoplanets 1

From the 1 of 9 papers with an AI index.

most citedForecasting Residential Heating and Electricity Demand with Scalable, High-Resolution, Open-Source Models

1 citations

researchers with a paper here
collaborating institutions
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2026

POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference

Gehao Zhang, Juan Zhai

Formal postconditions precisely characterize program behavior and support debugging, testing, and verification, but writing them requires substantial expertise and effort. This has…