Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends
Program verification is not all-or-nothing
lawrencecpaulson.github.io·1d
VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report
arxiv.org·20h
CloudFormer: An Attention-based Performance Prediction for Public Clouds with Unknown Workload
arxiv.org·1d
Ultra Strong Machine Learning: Teaching Humans Active Learning Strategies via Automated AI Explanations
arxiv.org·2d
Measuring Bias or Measuring the Task: Understanding the Brittle Nature of LLM Gender Biases
arxiv.org·20h
LegalChainReasoner: A Legal Chain-guided Framework for Criminal Judicial Opinion Generation
arxiv.org·2d
Loading...Loading more...