1 line
8.1 KiB
JSON
1 line
8.1 KiB
JSON
{"repo": "chenxingqiang/proofmind", "files": {"config/config.yaml": {"d0ee64692488c5920d2bb52c85f40720be0eafeb": {"t": 1785746813.898104, "n": 1731, "h": "407c872722fbe7ee", "c": "# LLM Configuration\nllm:\n model_name: \"deepseek-reasoner\"\n api_key: \"sk-*****************\"\n temperature: 0.7\n max_tokens: 1000\n timeout: 30 # seconds\n retry_attempts: 3\n retry_delay: 1 # seconds\n\n# Symbolic Reasoning Configuration\nsymbolic:\n max_steps: 50\n timeout: 60 # seconds\n simplification_level: \"medium\" # low, medium, high\n domains:\n algebra:\n enabled: true\n rules: [\"distributive\", \"associative\", \"commutative\"]\n number_theory:\n enabled: true\n rules: [\"divisibility\", \"modular_arithmetic\", \"prime_factorization\"]\n topology:\n enabled: false\n rules: []\n\n# Proof Generation Configuration\nproof_generation:\n max_attempts: 5\n max_refinements: 3\n strategy_timeout: 30 # seconds\n verification_timeout: 30 # seconds\n min_confidence: 0.8\n max_proof_length: 20 # steps\n\n# Logging Configuration\nlogging:\n level: \"INFO\" # DEBUG, INFO, WARNING, ERROR, CRITICAL\n file: \"logs/proofmind.log\"\n format: \"%(asctime)s - %(name)s - %(levelname)s - %(message)s\"\n max_file_size: 10485760 # 10MB\n backup_count: 5\n\n# Cache Configuration\ncache:\n enabled: true\n max_size: 1000\n ttl: 3600 # seconds\n directory: \"cache\"\n\n# Domain-Specific Settings\ndomains:\n algebra:\n axioms:\n - \"field_axioms\"\n - \"ring_axioms\"\n - \"group_axioms\"\n inference_rules:\n - \"substitution\"\n - \"transitivity\"\n - \"symmetry\"\n \n number_theory:\n axioms:\n - \"peano_axioms\"\n - \"well_ordering\"\n inference_rules:\n - \"induction\"\n - \"division_algorithm\"\n - \"congruence\"\n \n topology:\n axioms:\n - \"open_set_axioms\"\n - \"hausdorff_axioms\"\n inference_rules:\n - \"continuity\"\n - \"compactness\"\n - \"connectedness\" "}, "2ff1ec897cdeb88b19075dbc4ed72f538baa7da6": {"t": 1785767834.6922543, "n": 1731, "h": "407c872722fbe7ee", "c": "# LLM Configuration\nllm:\n model_name: \"deepseek-reasoner\"\n api_key: \"sk-*****************\"\n temperature: 0.7\n max_tokens: 1000\n timeout: 30 # seconds\n retry_attempts: 3\n retry_delay: 1 # seconds\n\n# Symbolic Reasoning Configuration\nsymbolic:\n max_steps: 50\n timeout: 60 # seconds\n simplification_level: \"medium\" # low, medium, high\n domains:\n algebra:\n enabled: true\n rules: [\"distributive\", \"associative\", \"commutative\"]\n number_theory:\n enabled: true\n rules: [\"divisibility\", \"modular_arithmetic\", \"prime_factorization\"]\n topology:\n enabled: false\n rules: []\n\n# Proof Generation Configuration\nproof_generation:\n max_attempts: 5\n max_refinements: 3\n strategy_timeout: 30 # seconds\n verification_timeout: 30 # seconds\n min_confidence: 0.8\n max_proof_length: 20 # steps\n\n# Logging Configuration\nlogging:\n level: \"INFO\" # DEBUG, INFO, WARNING, ERROR, CRITICAL\n file: \"logs/proofmind.log\"\n format: \"%(asctime)s - %(name)s - %(levelname)s - %(message)s\"\n max_file_size: 10485760 # 10MB\n backup_count: 5\n\n# Cache Configuration\ncache:\n enabled: true\n max_size: 1000\n ttl: 3600 # seconds\n directory: \"cache\"\n\n# Domain-Specific Settings\ndomains:\n algebra:\n axioms:\n - \"field_axioms\"\n - \"ring_axioms\"\n - \"group_axioms\"\n inference_rules:\n - \"substitution\"\n - \"transitivity\"\n - \"symmetry\"\n \n number_theory:\n axioms:\n - \"peano_axioms\"\n - \"well_ordering\"\n inference_rules:\n - \"induction\"\n - \"division_algorithm\"\n - \"congruence\"\n \n topology:\n axioms:\n - \"open_set_axioms\"\n - \"hausdorff_axioms\"\n inference_rules:\n - \"continuity\"\n - \"compactness\"\n - \"connectedness\" "}, "59ca5c92de298cf5ef03f0dfc984d4436c91c31c": {"t": 1785767835.870983, "n": 1746, "h": "604293a476817527", "c": "# LLM Configuration\nllm:\n model_name: \"deepseek-reasoner\"\n api_key: \"sk-3671f0e962bf4e4980750a47c549ccd4\"\n temperature: 0.7\n max_tokens: 1000\n timeout: 30 # seconds\n retry_attempts: 3\n retry_delay: 1 # seconds\n\n# Symbolic Reasoning Configuration\nsymbolic:\n max_steps: 50\n timeout: 60 # seconds\n simplification_level: \"medium\" # low, medium, high\n domains:\n algebra:\n enabled: true\n rules: [\"distributive\", \"associative\", \"commutative\"]\n number_theory:\n enabled: true\n rules: [\"divisibility\", \"modular_arithmetic\", \"prime_factorization\"]\n topology:\n enabled: false\n rules: []\n\n# Proof Generation Configuration\nproof_generation:\n max_attempts: 5\n max_refinements: 3\n strategy_timeout: 30 # seconds\n verification_timeout: 30 # seconds\n min_confidence: 0.8\n max_proof_length: 20 # steps\n\n# Logging Configuration\nlogging:\n level: \"INFO\" # DEBUG, INFO, WARNING, ERROR, CRITICAL\n file: \"logs/proofmind.log\"\n format: \"%(asctime)s - %(name)s - %(levelname)s - %(message)s\"\n max_file_size: 10485760 # 10MB\n backup_count: 5\n\n# Cache Configuration\ncache:\n enabled: true\n max_size: 1000\n ttl: 3600 # seconds\n directory: \"cache\"\n\n# Domain-Specific Settings\ndomains:\n algebra:\n axioms:\n - \"field_axioms\"\n - \"ring_axioms\"\n - \"group_axioms\"\n inference_rules:\n - \"substitution\"\n - \"transitivity\"\n - \"symmetry\"\n \n number_theory:\n axioms:\n - \"peano_axioms\"\n - \"well_ordering\"\n inference_rules:\n - \"induction\"\n - \"division_algorithm\"\n - \"congruence\"\n \n topology:\n axioms:\n - \"open_set_axioms\"\n - \"hausdorff_axioms\"\n inference_rules:\n - \"continuity\"\n - \"compactness\"\n - \"connectedness\" "}, "f5b451f228f67ede48b0c12209c75e32e40ca4ec": {"t": 1785767837.0632358, "n": 1584, "h": "0e00a1b775ceca62", "c": "# Configuration for the theorem proving system\n\n# Logging configuration\nlevel: \"INFO\"\nlogging:\n file: \"logs/theorem_prover.log\"\n format: \"%(asctime)s - %(name)s - %(levelname)s - %(message)s\"\n\n# LLM configuration\nllm:\n default_provider: \"openai\" # Default provider to use\n providers:\n openai:\n model_name: \"gpt-4\"\n api_key: \"${OPENAI_API_KEY}\"\n max_tokens: 1000\n temperature: 0.7\n timeout: 30 # seconds\n anthropic:\n model_name: \"claude-3-opus-20240229\"\n api_key: \"${ANTHROPIC_API_KEY}\"\n max_tokens: 1000\n temperature: 0.7\n timeout: 30 # seconds\n groq:\n model_name: \"mixtral-8x7b-32768\"\n api_key: \"${GROQ_API_KEY}\"\n max_tokens: 1000\n temperature: 0.7\n timeout: 30 # seconds\n\n# Symbolic reasoning configuration\nsymbolic:\n timeout: 10 # seconds\n max_steps: 100\n cache_size: 1000\n\n# Proof generation configuration\nproof_generation:\n max_attempts: 3\n max_refinements: 5\n timeout: 60 # seconds\n\n# Domain-specific rules\ndomains:\n algebra:\n - \"∀x,y∈ℝ (x + y = y + x)\" # Commutativity of addition\n - \"∀x,y,z∈ℝ ((x + y) + z = x + (y + z))\" # Associativity of addition\n - \"∀x∈ℝ (x + 0 = x)\" # Identity element of addition\n number_theory:\n - \"∀n∈ℕ (n + 1 > n)\" # Natural number ordering\n - \"∀n∈ℕ (n ≥ 0)\" # Non-negativity of natural numbers\n topology:\n - \"A set is open if it contains a neighborhood around each of its points\"\n - \"The union of any collection of open sets is open\"\n\n# Cache configuration\ncache:\n enabled: true\n max_size: 10000\n ttl: 3600 # seconds"}, "b0fe0eb6a6ccaef6ae238e5ab45f24133b1446fa": {"t": 1785767838.3638198, "n": 253, "h": "8729d2a9082c76c1", "c": "# config/config.yaml\ndata:\n data_dir: \"data\"\n output_dir: \"output\"\n train_ratio: 0.8\n val_ratio: 0.1\n\nmodel:\n hidden_size: 256\n n_layers: 3\n dropout: 0.1\n\ntraining:\n batch_size: 32\n learning_rate: 0.001\n epochs: 50\n early_stopping_patience: 5"}}}} |