Small-step Semantics, Big-step Semantics, Reduction Rules, Language Specification
Toggle Hero Worship
lesswrong.com·3h
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·6d
Loading...Loading more...