Bài báo này trình bày một thuật toán để tạo ra các mệnh đề biểu diễn khách quan các đồ thị hỗ trợ suy luận dựa trên tính nhất quán. Hơn nữa, chúng tôi đánh giá khả năng của các mô hình ngôn ngữ quy mô lớn (LLM) trong việc tái tạo đồ thị nhất quán từ các mệnh đề được diễn đạt bằng ngôn ngữ tự nhiên (được chuyển đổi đơn giản). Chúng tôi chứng minh kết quả đầy hứa hẹn bằng cách sử dụng một lời nhắc duy nhất trên LLM được tối ưu hóa cho suy luận. Ví dụ, o1/3/4-mini đạt được khả năng tái tạo hoàn hảo trong một nửa thời gian đối với đồ thị thưa thớt. Suy luận dựa trên tính nhất quán để đánh giá tính nhất quán của LLM có thể nâng cao khả năng nhận thức của máy.
