2 papers
cs.LO2025
Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
Ruben Gamboa, Panagiotis Manolios
The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2…
cs.DB2025
Synthesizing Scoring Functions for Rankings Using Symbolic Gradient Descent
Zixuan Chen, Panagiotis Manolios, Mirek Riedewald
Given a relation and a ranking of its tuples, but no information about the ranking function, we are interested in synthesizing simple scoring functions that reproduce the ranking.…