Published onSeptember 26, 2024System 2 - Training for Test-time computeLLMCryptic-CrosswordsFine-tuningLoRADo-OverunslothHuggingFaceReinforcementLearningPromptbreederVerificationAISprintRead more →
Published onSeptember 20, 2024Slack to Mattermost on New Fedora serverfedoraslackmattermostRead more →
Published onSeptember 14, 2024Install cuda-12.6 on Fedora 40fedoralinuxcudapythonPyTorchNvidiaRead more →
Published onJuly 27, 2024Proving that Cryptic Crossword Clue Answers are CorrectPaperLLMReasoningFormalisationCryptic-CrosswordsWorkshopRead more →
Published onJune 18, 2024Cryptic Proof CheckingLLMGeminiCryptic-CrosswordsProvingVerificationReasoningRead more →
Published onApril 25, 2024Long Context TransformersLLMGeminiRingAttentionInfini-AttentionTransformerFAMRead more →