{"id":"2506.07042","title":"Reasoning with RAGged events: RAG-Enhanced Event Knowledge Base Construction and reasoning with proof-assistants","url":"https://codeofpaper.com/paper/2506.07042","arxiv_url":"https://arxiv.org/abs/2506.07042","published":"2025-06-08","code":"community","best":{"full_name":"StergiosCha/RAGGed_events","url":"https://github.com/StergiosCha/RAGGed_events","tier":"high_confidence_community","stars":3,"license":null,"framework":null,"language":"Jupyter Notebook","last_commit":"2025-10-07T12:46:51"},"most_starred_community":null,"implementations":[{"full_name":"StergiosCha/RAGGed_events","url":"https://github.com/StergiosCha/RAGGed_events","tier":"high_confidence_community","stars":3,"license":null,"framework":null,"language":"Jupyter Notebook","last_commit":"2025-10-07T12:46:51"}],"possible_matches":2}