Hindley-Milner, Unification Algorithms, Polymorphism, Constraint Solving
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·3d
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·3d
MAGneT: Coordinated Multi-Agent Generation of Synthetic Multi-Turn Mental Health Counseling Sessions
arxiv.org·2d
MillGNN: Learning Multi-Scale Lead-Lag Dependencies for Multi-Variate Time Series Forecasting
arxiv.org·2d
Language Models Do Not Follow Occam's Razor: A Benchmark for Inductive and Abductive Reasoning
arxiv.org·3d
Loading...Loading more...