x01 web3/solidity etc Harish-as-harry/solidity_contract_sft Viewer • Updated Feb 11 • 297k • 18 • 1 seyyedaliayati/solidity-defi-vulnerabilities Viewer • Updated Jun 23, 2023 • 270 • 55 • 6 nguyenminh871/reentrancy_solidity_function Viewer • Updated Mar 24, 2023 • 3.2k • 5 • 3
x0 FOLIO: Natural Language Reasoning with First-Order Logic Paper • 2209.00840 • Published Sep 2, 2022 tasksource/folio Viewer • Updated Jan 18, 2024 • 1.2k • 440 • 16 datatune/LogiCoT Viewer • Updated Apr 12, 2024 • 668k • 39 • 61 tasksource/Boardgame-QA Viewer • Updated Jun 14, 2023 • 37.5k • 56 • 6
x01 web3/solidity etc Harish-as-harry/solidity_contract_sft Viewer • Updated Feb 11 • 297k • 18 • 1 seyyedaliayati/solidity-defi-vulnerabilities Viewer • Updated Jun 23, 2023 • 270 • 55 • 6 nguyenminh871/reentrancy_solidity_function Viewer • Updated Mar 24, 2023 • 3.2k • 5 • 3
x0 FOLIO: Natural Language Reasoning with First-Order Logic Paper • 2209.00840 • Published Sep 2, 2022 tasksource/folio Viewer • Updated Jan 18, 2024 • 1.2k • 440 • 16 datatune/LogiCoT Viewer • Updated Apr 12, 2024 • 668k • 39 • 61 tasksource/Boardgame-QA Viewer • Updated Jun 14, 2023 • 37.5k • 56 • 6