Pinned Loading

1. Epistemic-Contamination Epistemic-Contamination Public

   A benchmark for studying epistemic contamination in language models through controlled changes to mathematical rules, with structured test cases and Lean 4 formal oracles.

   Lean 2

2. Dyad-Epistemics Dyad-Epistemics Public

   The Computational Epistemology of Dyadic Formation is a computational philosophy project using Agent-Based Modeling to explore how knowledge and logic shape social dyads. The research investigates …

   2

3. Prompting-Strategies-CodeGen-Study Prompting-Strategies-CodeGen-Study Public

   An empirical study of prompting strategies for code generation. This repository accompanies the research study and provides the code, dataset, and analysis artifacts referenced in the paper.

   Python 2 1

4. Hekate Hekate Public

   Forked from TeamHekate/Hekate

   C# 1 1