Similar Items: Constraint satisfaction problems, compactness and non-measurable sets
- Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
- Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
- Machine Space I: Weak exponentials and quantification over compact spaces
- A Compact and High-Speed TRNG for FPGA Using Grouped Multi-Node Fast Carry Chains
- Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability
- A Trustworthiness-Oriented Approach to Story Point Estimation for Agile Planning: Worthy-SP as a Task-Specific Estimator Built on Frozen Compact LLM Backbones