Term Rewriting, E-graphs, Optimization, Equational Reasoning
How to Discover a CSS Trick
css-tricks.comยท2d
LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
arxiv.orgยท3d
MEKiT: Multi-source Heterogeneous Knowledge Injection Method via Instruction Tuning for Emotion-Cause Pair Extraction
arxiv.orgยท5d
Loading...Loading more...