Published onJune 18, 2024Cryptic Proof CheckingLLMGeminiCryptic-CrosswordsProvingVerificationRead more →
Published onApril 25, 2024Long Context TransformersLLMGeminiRingAttentionInfini-AttentionTransformerFAMRead more →
Published onFebruary 20, 2024Gemini 1 millionLLMReasoningAlphaGoAlphaZeroAlphaStarAlphaCodeAlphaFoldAlphaGeometryAlphaCodiumSelf-DiscoverPromptBreederRead more →
Published onJanuary 18, 2024Research from NeurIPSNeurIPSLLMMATH-AIReasoningLeanDojoAlphaGeometryRead more →
Published onDecember 4, 2023Enable bluetooth management via GUI on FedorabluetoothbluemanfedorapermissionsRead more →
Published onNovember 18, 2023DevFest SG Talk: No-code Prototyping with FlowiseLLMLLM-AgentsFlowiseLangchainLangchain.jsRAGDemoDevFestRead more →