WorksComputer Science
Counterexample-driven autonomous research with application to excess radiated energy in a Z-pinch
Machine contribution statement
Machine contribution not recorded
No AI-use declaration is available for this version in Valency.
The available record does not establish whether AI systems or models contributed to this work.